A polynomially bounded recursive realizability, in which the recursive functions used in Kleene's realizability are restricted to polynomially bounded functions, is introduced. It is used to show that provably total functions of Ruitenburg's Basic Arithmetic are polynomially bounded (primitive) recursive functions. This sharpens our earlier result where those functions were proved to be primitive recursive. Also a polynomially bounded schema of Church's Thesis is shown to be polynomially bounded realizable. So the schema is consistent with Basic Arithmetic, whereas it is (...) inconsistent with Heyting Arithmetic. (shrink)

As possibilidades de diálogo pedagógico entre os campos da Educação Ambiental e Formação Humana nos cursos de Educação Física é objeto deste estudo. Buscando revisar e evidenciar os princípios e objetivos construídos historicamente da Educação Ambiental e a atual realidade da formação de professores, identificando os limites e possibilidades para a construção de uma proposta crítica pedagógica que altera a lógica na Formação de Professores em Educação Física a partir do tripé ensino, pesquisa e extensão e a Educação Ambiental.The possibilities (...) pedagogical of the dialogue between the fields of Human Environmental Education and Training courses in Physical Education is an object of this study. The objective is review and clear the principles and objectives of environmental education, identifying the limits and possibilities for building critical pedagogical proposal amending the logic in the courses of the physical education from the triad education, research and outreach and environmental education. (shrink)

In this essay, I propose a comprehension of the meaning of politics based on Martin Heidegger’s thinking. I will develop the idea of the political as essential displacement of humanity. This notion will be achieved precisely by understanding the Heideggerian interpretation of Polis [πόλις] as the historical place i.e. the “site of history” [Geschichtesstätte]. In order to establish my argument, I will focus not only on explicit references to the concept of Polis in his literature, but also on a brief (...) analysis of two key concepts presented in his work in the late 1930s: machination [Machenschaft] and lived-experience [Er-lebnis]. It is through these concepts, but also how, through them, a technicity and history are related, that I will delineate a context for the meaning of politics as essential displacement of humanity, which will thereby conform to the basic character of the techno-political being. Nevertheless, a reflection upon the meaning of politics leading to the characterisation of the human as a techno-political being will show itself as the question about the place of the philosopher, a way to put philosophy itself in question. (shrink)

Carla CANULLO Paco Editorial, Trad. Íris Fátima da Silva Uribe e Luis Uribe Miranda 2021 404 páginas. Jundiaí São, Brasil ISBN: 978-85-462-1999-5.

Moral distress is a fundamental problem in the nursing profession that affects nurses. Critical care nurses are more susceptible to this problem due to the nature of their work. Moral distress may, in turn, lead to several undesirable consequences. This study aimed to determine the relationship between moral distress and intention to leave the ward among critical care nurses. This descriptive-correlational study was conducted by census method on all eligible nurses who worked in Coronary Care Unit and Intensive Care Unit (...) of AhVaz hospitals, Iran. Data was collected by Corley’s moral distress questionnaire and a researcher-made questionnaire to investigate the intention to leave the ward. Questionnaires were completed through self-report and data were analyzed using a t-test and Pearson correlation coefficient. The results showed that there was a direct association between moral distress and intension to leave the ward in critical care nurses. Also, the intensity of moral distress and the intention to leave the ward were significantly higher in ICU nurses. Given the high exposure of critical care nurses with moral distress and its association with leaving the ward, it seems that devising strategies to reduce or control moral distress and its negative consequences are necessary, particularly in ICU nurses. (shrink)

We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.

Resumo: A Lei 10.639/03 depositou diante do universo docente o desafio de propalar o Ensino de História e Cultura Afro-brasileira e Africana, numa perspectiva contrária a visão eurocêntrica predominante até então. Cabia às Secretarias de Educação subsidiar as escolas, o que exigia formação de equipes aptas ao processo, bem como compreensão da lei e mudanças nas concepções de currículo e práxis dos/as educadores/as. O presente artigo vem apresentar justamente a caminhada da Secretaria Municipal de Educação no Município de Manaus/SEMED/MANAUS quanto (...) a inserção dos temas nas documentações. Apresenta a construção de uma Proposta Pedagógica Curricular/PPC, alinhada a lei. Contudo, traz a reflexão de que a mudança realizada na PPC é um avanço, mas não é garantia de disseminação de atitudes e conhecimentos necessários para a formação integral antirracista dos estudantes. A SEMED/MANAUS, reconhece que é necessário a mudança de postura dos educadores, por isso desde a implantação da referida PPC, realiza oficinas, formações e demais ações pertinentes a temática. Dessa forma conjectura-se que o trabalho dos/as professores tem caminhado na perspectiva da formação integral antirracista dos estudantes. Palavras chaves: Lei 10.639/03. Escola. Currículo. Educação integral antirracista. (shrink)

Violence -- Poliltical philosophy -- Critical theory -- Science and arts in international relations -- Psyche -- Aesthetics -- Tolstoi's War and peace.

A common account sees the human genome sequencing project of the 1990s as a “natural outgrowth” of the deciphering of the double helical structure of DNA in the 1950s. The essay aims to complicate this neat narrative by putting the spotlight on the field of human chromosome research that flourished at the same time as molecular biology. It suggests that we need to consider both endeavors – the human cytogeneticists who collected samples and looked down the microscope and the molecular (...) biologists who probed the molecular mechanisms of gene function – to understand the rise of the human genome sequencing project and the current genomic practices. In particular, it proposes that what has often been described as the “molecularization” of cytogenetics could equally well be viewed as the turn of molecular biologists to human and medical genetics – a field long occupied by cytogeneticists. These considerations also have implications for the archives that are constructed for future historians and policy makers. (shrink)

We take an argument of Gödel's from his ground‐breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: "the sentence G says about itself that it is not provable, and G is indeed not provable; therefore, G is true".

This article discusses how the persistence of child labor, especially in Brazil and the United States of America, constitutes a current facet of neo-colonialism. Cultivated as an educational and dignifying activity, exploited child labor persists and is naturalized. Schools, religions, and the legislation contribute to making the working class come to love and naturalize what in the past was understood as torture and punishment, thus jointly acting as a fundamental means of forming a new cultural form: the love of work. (...) Initially, the article discusses how the culture of work is historically founded and then argues against the idealist and postmodern explanations that naturalize it. The argument is based on the understanding that culture has a material basis and is linked to the production and social reproduction of life. Data from the empirical research on child labor in tobacco farming in Brazil and the USA reveal the persistence of the problem among Latino children and families. We conclude with the need to found a new culture for contemporary society, based on other social and economic relations, which allows the working class to free itself from what dominates and exploits it. (shrink)

Berichte zur Wissenschaftsgeschichte, Volume 45, Issue 3, Page 462-467, September 2022.

Eine der grossten Schwierigkeiten eines symmetrischen, wechselseitigen Verstehens und Kooperierens ist die Eigenzentrik des Verstehenskriteriums aufgrund der eigenen Lebensform - mit der hochst bedenklichen Konsequenz des Wittgenstein-Mottos dieses Buches, namlich dass wir uns in den Anderen nicht finden konnen. Korrigiert wird dieser Aspekt des interkulturellen Verstehens durch das Konzept einer von allen Kulturen geteilten, allgemeinen menschlichen Lebensform, die wiederum bei Wittgenstein den Rang eines interkulturellen Verstehens-Aprioris einnimmt und die Funktion hat, Sprachspiele und ihre divergierenden Regeln ineinander zu ubersetzen. Wittgensteins spate (...) Untersuchungen tragen aber auch dem Problem unaufhebbarer Kommunikationsgrenzen Rechnung. Und zwar in ihrer Theorie einer -Grammatik- von Weltbildsatzen, die keinerlei Verstehensbrucken zu Weltbildsatzen fremder Kulturen erlaubt. <BR> Die Aufsatze dieses Sammelbandes, der die Ergebnisse des dritten Wittgenstein-Symposions der Deutschen Ludwig Wittgenstein Gesellschaft e.V. zusammenfasst, sind dieser Problematik gewidmet und versuchen, die unterschiedlichen interkulturellen Verstehensmodelle auszuarbeiten, ihre Schwierigkeiten zu analysieren und angemessene Losungsvorschlage zu entwickeln.". (shrink)

Kebahagiaan adalah tema abadi yang selalu dibicarakan manusia. Banyak filosof yang membicarakan kebahagiaan, dihitung dari zaman Yunani kuno hingga zaman filosof muslim. Al-Farabi, seorang filosof muslim di masa awal, menawarkan pandangan menarik tentang kebahagiaan: Negeri Utama sebagai pondasi meraih kebahagiaan. Kebahagiaan didefinisikan sebagai kebaikan tertinggi yang membuat manusia terlepas dari alam materi dan hidup bersama dengan makhluk non-materi selama-lamanya. Negeri Utama yang diumpamakan dengan sebuah tubuh, memiliki pemimpin yang telah mencapai kesempurnaan manusiawi. Melalui pemimpin itulah, masyarakat Negeri Utama berusaha secara (...) kolektif membangun negerinya demi mencapai kebahagiaan yang hakiki. Tulisan ini meneliti literatur yang ada, demi memberikan sebuah pandangan yang baik tentang kebahagiaan perspektif al-Farabi. Diharapkan, tulisan ini bisa menjadi jendela bagi yang lain dalam meneliti tema ini. (shrink)

Cette étude analyse comment Kelsen, pour libérer le droit et la démocratie des traces de ce qu'il appelle les hypostases collectives ou la mythologie de l'âme collective, prend position face aux grandes théories de la sociologie et de la psychologie sociale de son temps. D'abord, il s'agira de montrer comment Kelsen critique les métaphores de l'âme collective ; ensuite, de montrer comment la pensée kelsénienne sur le droit et la démocratie essaie d'échapper aux problèmes liés à la métaphore de l'âme (...) collective. Cela peut laisser entrevoir quelques points communs entre la théorie de Kelsen et les théories contemporaines sur le droit et la démocratie libérées des prémisses de l'idée d'une communauté homogène. The aim of this essay is to analyse how Kelsen criticises the major theories of sociology and social psychology of his time in order to liberate law and democracy from what he calls collective hypostasis or the mythology of the "collective soul". The first part investigates how Kelsen criticises the metaphors of the collective soul. The second part addresses how Kelsen built a theory of law and democracy that sought to escape from problems correlated to the metaphors of the collective soul. The results enable the reader to glimpse some common points between Kelsen's ideas and contemporary projects to elaborate a theory of law and democracy released from the premises implicated by the idea of a uniform community. (shrink)

BackgroundAlthough a large number of clinical trials on interventions demonstrating efficacy (or lack thereof) are conducted annually, much of this evidence is not accessible to scientists and clinicians.ObjectivesWe aimed to determine the publication rate of posttraumatic stress disorder (PTSD) trials that have been registered in clinical trial registries, and the factors associated with publication.MethodsTrials, completed on January 15, 2015, were identified via the US National Institutes of Health clinical trials registry, the European Union Clinical Trials Register and the WHO International (...) Clinical Trials Registry Platform. A systematic search for publications (published by the end of March 2018) related to each of the registered trials were then performed.ResultsFour hundred and thirty-eight of 1982 potentially eligible trials were included. Only 34% of interventional trials were registered prior to initiation, 9% were registered within 2 months of starting and 20% after trial completion. Of the 438 included trials, 72% had generated peer-reviewed publications, while an additional 7% had disseminated results in some other form (such as on the trial database), 26 months after trial completion. Randomisation of a trial was the only factor individually associated with publication, in logistic regression analysis (p < 0.001). Intervention type, university as sponsor and study registration prior to completion were factors that influenced the time to publication, using Cox regression (p < 0.001).ConclusionsThis study underscores the importance of timely and accurate publication and dissemination of trial results, in order to avoid the potential waste of resources and to ensure research integrity and patient safety. We suggest that authors and journal editors adhere to conditions set out by the International Committee of Medical Journal Editors and that more diligent data sharing is encouraged through prospective trial registration and trial reporting websites. (shrink)

Resenha do livro de Bauchwitz, Oscar Federico. A caminho do silêncio: a filosofia de Escoto Eriúgena . Rio de Janeiro: Relume Dumará, 2003. 130 páginas. [Coleçáo Metafísica, n. 1].

Microstudies and big picture accounts are often counterposed. This paper investigates the supposed dichotomy between the two historiographical approaches. In particular it investigates how the discussions are reflected in the historiography of molecular biology and the special questions posed by the disciplinary context. Taking inspiration from the microhistory tradition as exemplified by the works of Carlo Ginzburg, Jacques Revel, and David Sabean among others, the paper highlights the heuristic value of microstudies to reconstruct the multiple contexts that link apparently small (...) events with broader structures. In a parallel fashion, the paper argues for using microstudies to open up the history of molecular biology to other fields of study and thus moving beyond the confines of the disciplinary framework. Such an approach does not dismiss the search for big pictures. Yet rather than opposing big pictures to microstudies, it sees microstudies as a valid way to gain new and broad vistas. (shrink)

We demonstrate that, in itself and in the absence of extra premises, the following argument scheme is fallacious: The sentence A says about itself that it has a property F, and A does in fact have the property F; therefore A is true. We then examine an argument of this form in the informal introduction of Gödel’s classic (1931) and examine some auxiliary premises which might have been at work in that context. Philosophically significant as it may be, that particular (...) informal argument plays no rôle in Gödel’s technical results. Going deeper into the issue and investigating truth conditions of Gödelian sentences (i.e., those sentences which are provably equivalent to their own unprovability) will provide us with insights regarding the philosophical debate on the truth of Gödelian sentences of systems—a debate which goes back to Dummett (1963). (shrink)

Women have been marginalized in different contexts and situations. Religion, and to be more specific Catholicism, is a tradition that has divided men and women but more importantly women themselves as they represent the dichotomy of good and evil. Michèle Roberts's heroines are inspired through biblical characters who will replace the binary system of being for dualities and pluralities in the same woman as part of their identities. This paper considers the feminist procedure of Adrienne Rich's re-visioning, re-imagining and re-writing, (...) Julia Kristeva's notion of abjection plus a touch of Bakhtinian `open bodies' in the light of Catholic myths. The conclusion of this essay aims to present and celebrate Roberts's heroines in relation to their sexuality and religion. (shrink)